The Oyster Conglomerate Bed at Bromley, in Kent
نویسندگان
چکیده
منابع مشابه
Computer Science at Kent
This talk sets out the problem domain for model transformation and introduces a set of use cases for transformation including model differencing, pattern expansion, model merging and weaving, alternate views and generation of platform specific artifacts from a platform independent model. The talk also discusses where model transformation fits into the development process and who we can expect t...
متن کاملConglomerate masses
1. Universidade Federal Fluminense, Niterói (RJ) Brasil. 2. Universidade Federal do Rio de Janeiro, Rio de Janeiro (RJ) Brasil. 3. Santa Casa de Misericórdia de Porto Alegre, Porto Alegre (RS) Brasil. 4. Universidade Federal de Ciências da Saúde de Porto Alegre, Porto Alegre (RS) Brasil. 5. Faculdade de Medicina de Petrópolis, Petrópolis (RJ) Brasil. A 37-year-old man presented with dry cough a...
متن کاملComputer Science at Kent Mobile Processes in Unifying Theories
This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing state-based reactive systems. The mathematical basis for the work is Hoare and He’s Unifying Theories of Programming (UTP), where the alphabetised relational calculus is used to provide a common framework for the semantics and refinement calculus of different programming...
متن کاملCase based teaching at the bed side versus in classroom for undergraduates and residents of pediatrics
Introduction: Bedsideteaching is defined as teaching in the presence of apatient, it is a vital component of medical education. The aim of this study was to evaluate the effectiveness of two methods of case based teaching (at the bedside and in the classroom) in the teaching hospitals (for both undergraduates and residents of Pediatrics).Methods: Thirty undergraduates and twenty pediatric resid...
متن کاملComputer Science at Kent Pretty Printing with Delimited Continuations
Pretty printing is the task of nicely formatting tree structured data within a given line width limit. In 1980 Oppen published a pretty printing algorithm that takes time linear in the size of the input, independent of the line width, and uses only limited look-ahead. This work inspired the development of a number of purely functional pretty printing libraries in Haskell. Here I present a new f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Geologist
سال: 1858
ISSN: 1359-4656
DOI: 10.1017/s1359465600005293